int *getAExtensions(void);
